Managing Test Speciications with Case-based Reasoning { Application Paper
نویسنده
چکیده
In the following article, we show how a steadily growing set of textual documents can be managed within a case-based system. The presented project resides in the area of generating test speciications for a software system developed for the gas industry.
منابع مشابه
Collaborative Knowledge Acquisition under Control of a Non-Regression Test System
This paper introduces BeGoood, a generic system for managing non-regression tests on knowledge-bases. BeGoood is a system allowing to define test plans in order to monitor the evolution of knowledgebases. Any system answering queries by providing results in the form of set of strings can be tested with BeGoood. BeGoood has been developed following a REST architecture and is independent of any a...
متن کاملManaging Inconsistent Speciications: Reasoning, Analysis and Action
In previous work, we have advocated continued development of speci-cations in the presence of inconsistency. To support this, we have used classical logic to represent partial speciications and to identify inconsistencies between them. We now present an adaptation of classical logic, which we term quasi-classical (QC) logic, that allows continued reasoning in the presence of inconsistency. The ...
متن کاملCriteria for Generating Specification-Based Tests
This paper presents general criteria for generating test inputs from state-based speciications. Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Formal speciications of complex systems represent a signii-cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can eas...
متن کاملGenerating Test Data from Sofl Speciications
Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Tests are commonly generated from the source code, control ow graphs, design representations, and speciications/requirements. Formal speciications represent a signiicant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form th...
متن کاملAutomating Test Case Generation from ZSpeci cations with
We use a structure preserving encoding of Z in the higher-order logic instance of the generic theorem prover Isabelle to derive test cases from Z speciications. This work shows how advanced theorem provers can be used with little eeort to provide tool support for Z beyond mere type-checking. Experience with a non-trivial example shows that modular reasoning according to the structure of a speci...
متن کامل